# completeness

101

**Supremum**— In mathematics, given a subset S of a partially ordered set T , the supremum (sup) of S , if it exists, is the least element of T that is greater than or equal to each element of S . Consequently, the supremum is also referred to as the least… …102

**PSPACE-complete**— Mathematicians and computer scientists try to carefully define different types of complexity, and PSPACE complete is one of these types.Roughly, PSPACE is all the problems which can be solved by programs which only need a polynomial (in the… …103

**Riemannian manifold**— In Riemannian geometry, a Riemannian manifold ( M , g ) (with Riemannian metric g ) is a real differentiable manifold M in which each tangent space is equipped with an inner product g in a manner which varies smoothly from point to point. The… …104

**Löwenheim–Skolem theorem**— In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …105

**List of mathematical logic topics**— Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …106

**Many-one reduction**— In computability theory and computational complexity theory, a many one reduction is a reduction which converts instances of one decision problem into instances of a second decision problem. Reductions are thus used to measure the relative… …107

**2-satisfiability**— In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… …108

**Complete partial order**— In mathematics, directed complete partial orders and ω complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial… …109

**Bounded complete poset**— In the mathematical field of order theory, a partially ordered set is bounded complete if all of its subsets which have some upper bound also have a least upper bound. Such a partial order can also be called consistently complete, since any upper …110

**Expected utility hypothesis**— In economics, game theory, and decision theory the expected utility hypothesis is a theory of utility in which betting preferences of people with regard to uncertain outcomes (gambles) are represented by a function of the payouts (whether in… …